Solving the Class Responsibility Assignment Case with UML-RSDS
نویسندگان
چکیده
This paper provides a solution to the class responsibility assignment case using UML-RSDS. We show how search-based software engineering techniques can be combined with traditional MT techniques to handle large search spaces.
منابع مشابه
Solving the TTC 2014 Movie Database Case with UML-RSDS
This paper describes a solution to the Movie Database case using UML-RSDS. The solution specification is declarative and logically clear, whilst the implementation (in Java) is of practical efficiency. 1 Solution definition as a UML-RSDS specification UML-RSDS [1] is a hybrid MT language which uses UML notations to specify transformations: source and target metamodels of a transformation are de...
متن کاملSolving the TTC 2011 Model Migration Case with UML-RSDS
UML-RSDS is a model-driven development method with an associated toolset. It was originally designed as a general-purpose method for synthesising verified executable systems from high-level specifications [2], and has been adapted for the synthesis of transformation implementations from specifications [3]. Modelling is carried out using UML 2: class diagram models, use cases, state machines, ac...
متن کاملSolving the Petri-Nets to Statecharts Transformation Case with UML-RSDS
This case study [4] is an update-in-place transformation which simultaneously modifies (by deletion and simplification) an input Petri-Net model, and (by construction and elaboration) an output statechart model. We provide a specification of the transformation in the UML-RSDS language [5] and show that this is terminating, confluent and invertible. UML-RSDS is a model-based development language...
متن کاملSpecification and Verification of Model Transformations Using UML-RSDS
UML-RSDS K. Lano, S. Kolahdouz-Rahimi Dept. of Computer Science, King’s College London Work carried out within HoRTMoDA EPSRC project • UML-RSDS can specify and verify model transformations using a combination of UML and formal methods. • We describe these techniques, with extracts from three large model transformation case studies. Model Transformations map one or more software engineering mod...
متن کاملSolving the TTC'16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms
In this paper we describe a solution for the Transformation Tool Contest 2016 (TTC’16) Class Responsibility Assignment (CRA) case study using Sigma, a family of Scala internal Domain-Specific Languages (DSLs) that provide an expressive and efficient API for model consistency checking and model transformations. Since the Class Responsibility Assignment problem is a search-based problem, we base ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016